1. Blueprints for high availability
پدیدآورنده : / Evan Marcus, Hal Stern
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic data processing- Distributed processing,System design
رده :
QA76
.
9
.
D5
,
M357
2003
2. Blueprints for high availability
پدیدآورنده : Marcus, Evan
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : Distributed processing ، Electronic data processing,، System design
3. Blueprints for high availability
پدیدآورنده : Marcus, Evan
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic data processing - Distributed processing,، System design
رده :
QA
76
.
9
.
D5
M357
2003
4. Blueprints for high availability : designing resilient distributed systems
پدیدآورنده : Marcus, Evan, 2691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، System design
رده :
QA
76
.
9
.
D5M3
5. Concepts for distributed systems design
پدیدآورنده : Bochmann, Gregor von
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic data processing - Distributed processing,، System design
رده :
QA
76
.
9
.
D5
B64
1983
6. Designing distributed systems :
پدیدآورنده : Brendan Burns.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing.,System design.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.,System design.
رده :
QA76
.
9
.
D5
7. Distributed system design
پدیدآورنده : Wu, Jie
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Distributed processing,، System design
رده :
QA
76
.
9
.
D5
.
W8
1998
8. Petri nets: fundamental models, verification, and applications
پدیدآورنده : edited by Michel Diaz
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Distributed processing ، Electronic data processing,، Parallel processing )Electronic computers(,، System design,، Petri nets
رده :
QA
76
.
9
.
D5
R4713
9. Petri nets: fundamental models, verification, and applications
پدیدآورنده : edited by Michel Diaz
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic data processing - Distributed processing,، Parallel processing )Electronic computers(,، System design,، Petri nets
رده :
QA
76
.
9
.
D5
R471
2009
10. Principles and applications of distributed event-based systems
پدیدآورنده : Annika M. Hinze and Alejandro Buchmann, ]editors[.
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Electronic data processing--Distributed processing,Application software--Development,System design,Sensor networks
رده :
QA
76
.
9
.
D5P755
2010
11. Principles and applications of distributed event-based systems /
پدیدآورنده : Annika M. Hinze and Alejandro Buchmann, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development.,Electronic data processing-- Distributed processing.,Sensor networks.,System design.,Application software-- Development.,Electronic data processing-- Distributed processing.,Sensor networks.,System design.
رده :
QA76
.
9
.
D5
P755
2010
12. <The> Formal Description Technique Lotos: Results of the ESPRIT/ SEDOS Project
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic data processing- Distributed processind,ESPRIT/ SEDOS Project,System design
رده :
QA
،
76
.
9
،.
D5
,
F65
،
1989
13. The Formal description technique Estelle: : results of the ESPRIT/SEDOS Project
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic data processing- Distributed processing,، ESPRIT/SEDOS Project,، System design
14. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
15. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده : Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
16. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده : E. Brinksma ... )et al.(, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
17. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
